501. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings
Author: A. Fuhrmann, M. Morreau )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
465
502. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
L5663
1991
503. The Parametric Lambda Calculus :
Author: by Simona Ronchi Della Rocca, Luca Paolini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
QA9
.
5
B975
2004
504. The Pleadings Game :
Author: by Thomas F. Gordon.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy of law.
Classification :
K213
.
B984
1995
505. The Semantic Web - ISWC 2020 [electronic resources
Author: / edited by Jeff Z. Pan...[et al.]
Library: Central library of medical university of Isfahan (Esfahan)
Subject: Database management, Mathematical logic.,Natural language processing (Computer science).
Classification :
QA76
.
9
.
D3
S4
2020
506. The Semantics and Proof Theory of the Logic of Bunched Implications
Author: by David J. Pym.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General).
507. The essence of logic
Author: Kelly, John Joseph
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science , Logic, Symbolic and mathematical
Classification :
QA
76
.
K396
1996
508. The little typer /
Author: Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
Classification :
QA76
.
63
.
F75
2018
509. The logic of information structures
Author: Wansing, Heinrich T.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
681
510. The logic of information structures
Author: Wansing, Heinrich
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
W235
1993
511. The transparent paolog machine
Author: / Marc Eisenstadt, Mike Brayshaw, Jocelyn Paine,Eisenstadt
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Prolog ( Computer Program language),Logic programming ( Computer Science),Transparent prolog machine
Classification :
QA
76
.
73
.
P76E48
1991
512. Theorem Proving in Higher Order Logics :
Author: edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
513. Theoretical Aspects of Computing – ICTAC 2015
Author: \ edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Congresses.,Computer logic.,علوم کامپیوتر -- کنگرهها ,منطق کامپیوتری
Classification :
QA76
.
T46
2015
E-Book
,
514. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
515. Theory and Applications of Formal Argumentation.
Author: \ Elizabeth Black , Sanjay Modgil , Nir Oren (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Computer logic -- Congresses.,Artificial intelligence -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,منطق کامپیوتری -- کنگره ها , هوش مصنوعی-- کنگرهها
Classification :
QA
76
.
9
.
T46
2015
E-Book
,
516. Theory and Applications of Formal Argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
Author: edited by Elizabeth Black, Sanjay Modgil, Nir Oren
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Artificial intelligence,، Computer logic,، Computer science
Classification :
QA
76
.
9
.
T34
2018
517. Theory and Practice of Model Transformations :
Author: edited by Keith Duddy, Gerti Kappel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
D47
E358
2013
518. Theory and Practice of Model Transformations
Author: edited by Zhenjiang Hu, Juan Lara
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
519. Theory of fuzzy computation
Author: Apostolos Syropoulos
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics,Fuzzy logic,Fuzzy Logic
Classification :
QA9
.
64
520. Theory of fuzzy computation
Author: / Apostolos Syropoulos
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Fuzzy logic,Computer science, Mathematics
Classification :
E-BOOK
